au.\*:("KHAKHANIAN, V. KH")
Results 1 to 1 of 1
Selection :
Markov's rule is admissible in the set theory with intuitionistic logicKHAKHANIAN, V. KH.Lecture notes in computer science. 1997, pp 167-171, issn 0302-9743, isbn 3-540-63385-5Conference Paper